#!/bin/zsh
FILE=$1
JAR_LOC=dist/SBGCT.jar

rm iter*.dot; java -Xmx7g -cp $JAR_LOC statechurn.PTAMakerTest  ~/Dropbox/CommonTraces/$FILE.txt; dot -Tpdf -o final.pdf final.dot; open final.pdf;
